Fix Your Types
نویسندگان
چکیده
منابع مشابه
Fix Your Types
When using existing ACL2 datatype frameworks, many theorems require type hypotheses. These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget. We describe a principled approach to types that provides strong type safety and execution efficiency while avoiding type hypotheses, and we present a library that automates this approach. Using this approach, types help...
متن کاملPlease Fix Your Interfaces: The Ease of Basic Usability
This paper does not propose a tool per se, but rather encourages the use of best practices and methods, well-known “tools” in the Human-Computer Interaction (HCI) community, when building new privacyenhancing tools or evaluating existing ones. As security professionals, we strive to develop tools which provide strong protection against vulnerabilities, but the tools fail in practice if they are...
متن کاملHow Good are Your Types?
Software engineers primarily use two orthogonal means to reduce susceptibility to faults: software testing and static type checking. While many strategies exist to evaluate the effectiveness of a test suite in catching bugs, there are few that evaluate the effectiveness of type annotations in a program. This problem is most relevant in the context of gradual or optional typing, where programmer...
متن کاملFIX - W FIX - E National Backbone Networks
This paper presents the results of a measurement study of the T1 NSFNET backbone. We rst discuss the measurement environment and approach to data collection. We then present measurements results for: long-term growth in traac volume, including attribu-tion to domains and protocols; trend in average packet size on the network, both over long and medium term intervals; most popular sources, desti...
متن کاملPC annoyances - how to fix the most annoying things about your personal computer
pc annoyances how to fix the most annoying things about pc annoyances how to fix the most annoying things about fixing windows xp annoyances how to fix the most annoying bmw 3 and 5 series service and repair manual louduk choice and preference in media use imotec fabjob guide to become a freelance writer louduk the way walking in the footsteps of jesus aadver ways to better breathing imotec exe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.192.2